Structural theory

Results: 914



#Item
821Number theory / Pi / Srinivasa Ramanujan / Eisenstein series / Size effect on structural strength / Rogers–Ramanujan identities / Mathematics / Mathematical analysis / Modular forms

Faculty Publications A compilation of publications from 2008–2013∗

Add to Reading List

Source URL: www.math.uiuc.edu

Language: English - Date: 2014-03-17 16:52:05
822Graph / Algebraic graph theory / Networks / Tree / Connectivity / Directed graph / Signed graph / Path decomposition / Graph theory / Mathematics / Network theory

Supporting Information Kemp and Tenenbaum[removed]pnas[removed]We describe our hypothesis space of structural forms in

Add to Reading List

Source URL: www.psy.cmu.edu

Language: English - Date: 2008-08-01 07:51:15
823Sequent calculus / Proof calculus / Propositional calculus / Structural proof theory / Sequent / Cut-elimination theorem / Hilbert system / Modal logic / Rule of inference / Logic / Mathematical logic / Proof theory

A Systematic Proof Theory for Several Modal Logics Charles Stewart and Phiniki Stouppa

Add to Reading List

Source URL: www.textproof.com

Language: English - Date: 2008-12-23 04:40:00
824Finite model theory / Computational complexity theory / Descriptive complexity / Structural complexity theory / Descriptive complexity theory / Mathematical logic / P versus NP problem / FO / P / Theoretical computer science / Applied mathematics / Complexity classes

Book review of Descriptive Complexity by Neil Immerman (Graduate texts in Computer Science, Springer, [removed]Appeared in the Bulletin of Symbolic Logic vol. 7 no. 4 December, 2001 pages[removed]Overview

Add to Reading List

Source URL: www.haverford.edu

Language: English - Date: 2012-03-28 11:42:06
825Sequent calculus / Structural proof theory / Sequent / Modal logic / Rule of inference / Cut-elimination theorem / Deep inference / Linear logic / Formal proof / Logic / Proof theory / Mathematical logic

A Deep Inference System for the Modal Logic S5 Phiniki Stouppa ∗ March 1, 2006

Add to Reading List

Source URL: www.iam.unibe.ch

Language: English - Date: 2006-03-01 08:48:04
826Structural complexity theory / Algebraic geometry / Blum–Shub–Smale machine / Polynomial hierarchy / NP / Polynomial / Stephen Smale / Prime number / Algorithm / Theoretical computer science / Mathematics / Applied mathematics

(Discrete) Polynomial Hierarchy Blum-Shub-Smale Models of Computation Algorithmic Semi-algebraic Geometry

Add to Reading List

Source URL: www.math.purdue.edu

Language: English - Date: 2009-07-30 22:06:02
827Knowledge / Social philosophy / Science / Deviance / Social science / Sociological theory / Structural functionalism / Sociological imagination / Crime / Criminology / Sociology / Sociological terms

SOCIOLOGY DEPARTMENT GOALS AND OBJECTIVES

Add to Reading List

Source URL: www.lvc.edu

Language: English - Date: 2013-01-10 13:18:06
828Effective group decision making / Science / Leadership / Social philosophy / Structural functionalism / Group decision making / Sociology / Cultural anthropology / Management

Functional Group Communication Theory : Encyclopedia of Communication Theory

Add to Reading List

Source URL: www.sagepub.com

Language: English - Date: 2012-08-01 16:51:30
829Complexity classes / Structural complexity theory / Closest string / String / Formal languages / NP / Substring / Hamming distance / P versus NP problem / Theoretical computer science / Mathematics / Applied mathematics

Information and Computation[removed]–55 www.elsevier.com/locate/ic

Add to Reading List

Source URL: www.math.nus.edu.sg

Language: English - Date: 2003-07-25 20:48:35
830Ecological systems theory / Structural functionalism / Role / Science / Structure / Knowledge / Spillover-crossover model / Family / Employment / Work–family conflict

Reconceptualizing the work-family interface: An ecological perspective

Add to Reading List

Source URL: www.ssc.wisc.edu

Language: English - Date: 2003-06-23 15:40:32
UPDATE